(0 7 3)(1 17 5)(2 16 14)(4 13 6)(8 11 10)(9 15 12)
ALLOWS (11/8)-SEQUENCE
1: (5 11 17)
(0 7 3)(1 17 10 8 11)(2 16 14)(4 13 6)(5)(9 15 12)
2: (4 13 6)
(0 7 3)(1 17 10 8 11)(2 16 14)(4)(5)(6)(9 15 12)(13)
3: (9 15 12)
(0 7 3)(1 17 10 8 11)(2 16 14)(4)(5)(6)(9)(12)(13)(15)
4: (8 11 10)
(0 7 3)(1 17 10)(2 16 14)(4)(5)(6)(8)(9)(11)(12)(13)(15)